Le démantèlement des barrages de la Sélune (Manche). Des réseaux d’acteurs au projet de territoire ?

Le projet de Charte des droits fondamentaux de l’Union européenne

Eipascope 2000/3 19 Introduction Les Chefs d’Etat et de Gouvernement ont décidé lors du Conseil européen de Cologne qu’il y avait une nécessité “au stade actuel du développement de l’Union, d’établir une charte des droits fondamentaux afin d’ancrer leur importance exceptionnelle et leur portée de manière visible pour les citoyens de l’Union”. Le Conseil européen extraordinaire sur la justice et...

Le projet ANR INCOME, processus et outils logiciels pour des gestionnaires de contexte au dessus de l'Internet des objets

L’Internet des objets est une extension de l’Internet qui ouvre de nombreuses opportunités de construction de nouveaux services à haute valeur ajoutée dans de nombreux domaines. Cependant, les concepteurs de ces services doivent prendre en main des systèmes logiciels de plus en plus complexes. Le projet INCOME étudie la brique logicielle de gestion de contexte qui traite et achemine les informa...

Le traitement de la morve des equides par l'anamorve-sulfadiazine et la malleine-sulfamezathine

Utilisation de SysML pour la modélisation des réseaux de capteurs

Résumé. SysML est le nouveau langage de modélisation défini par l’OMG. Il peut être vu comme une extension d’UML destinée à la modélisation d’un large spectre de systèmes complexes. Son champ d’application est en ce sens plus large que celui d’UML mais sa filiation le rend tout particulièrement intéressant pour la modélisation de systèmes embarqués majoritairement composés de logiciel. Les logi...

Décision de la cohérence des réseaux de contraintes qualitatives combinés

We study the problem of consistency checking for constraint networks over combined qualitative formalisms. We propose a framework which encompasses loose integrations, multiscale reasoning and a form of spatio-temporal reasoning. In particular, we identify sufficient conditions ensuring the polynomiality of consistency checking, and we use them to find tractable subclasses. MOTS-CLÉS : réseaux ...